Frame problem - PDFSEARCH.IO - Document Search Engine

Frame problem
Results: 91

#	Item
41	Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study Chitta Baral1 , Tran Cao Son2 , and Enrico Pontelli2 1 Dept. Computer Science & Engineering, Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:14 Computing Automated planning and scheduling Logic programming Frame problem Agent-based model Action description language Action language Action theory Norm Multi-agent systems Artificial intelligence Science
42	BREAKING THE FRAME-BUFFER BOTTLENECK: THE CASE FOR LOGIC-ENHANCED MEMORIES John Poulton, John Eyles, Steven Molnar, Henry Fuchs University of North Carolina at Chapel Hill A central problem in designing interactive grap Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 1998-05-07 14:40:06 Computing Graphics hardware Image processing Shading Rasterisation Deferred shading Graphics pipeline Spatial anti-aliasing Rendering Computer graphics 3D computer graphics Imaging
43	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
44	Oral contributions Kondratyev Boris Petrovich The Vector Approach to the Problem of Physical Libration of the Moon: the Linearized Problem A flexible and informative vector approach to the problem of physical libration o Add to Reading List Source URL: www.fs.wettzell.de Language: English - Date: 2011-05-26 07:14:57 Geodesy Tests of general relativity Satellite navigation systems Satellites Satellite laser ranging Lunar science LAGEOS Retroreflector Frame-dragging Spaceflight Spacecraft Physics
45	ETRS89 Realizations • What is the problem ? • Proposal for Remedy • Procedures • Recommendations Add to Reading List Source URL: www.euref.eu Language: English - Date: 2008-04-09 14:04:25 Helsinki Airport Regional Reference Frame Sub-Commission for Europe Geodesy European Terrestrial Reference System Orientation
46	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
47	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
48	Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:39:30 Reasoning Knowledge representation Logic programming Epistemology Programming paradigms Reasoning system Knowledge representation and reasoning Frame problem Reason Science Artificial intelligence Logic
49	Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:18 Non-classical logic Mathematics Knowledge representation Epistemology Artificial intelligence Frame problem Circumscription Situation calculus Axiom Logic Mathematical logic Logic programming
50	Elaboration Tolerance through Object-Orientation Joakim Gustafsson a , Jonas Kvarnstr¨om ∗ a Department of Computer and Information Science, Link¨oping University, SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:54 Computer programming Fluent Frame problem Object Class Abstraction Inheritance Domain model Conceptual model Software engineering Object-oriented programming Computing

UPDATE